properties of ring in discrete mathematics